Computability of topological pressure on compact shift spaces beyond finite type*

Finite-type-Dyck shift spaces

We study some basic properties of sofic-Dyck shifts and finite-type-Dyck shifts. We prove that the class of sofic-Dyck shifts is stable under proper conjugacies. We prove a Decomposition Theorem of a proper conjugacy between edge-Dyck shifts into a sequence of Dyck splittings and amalgamations.

Shift Invariant Spaces and Shift Preserving Operators on Locally Compact Abelian Groups

We investigate shift invariant subspaces of $L^2(G)$, where $G$ is a locally compact abelian group. We show that every shift invariant space can be decomposed as an orthogonal sum of spaces each of which is generated by a single function whose shifts form a Parseval frame. For a second countable locally compact abelian group $G$ we prove a useful Hilbert space isomorphism, introduce range funct...

Finite Topological Spaces

(1) Let A be a set and f be a finite sequence of elements of 2A. Suppose that for every natural number i such that 1 i and i < len f holds πi f πi+1 f : Let i, j be natural numbers. If i j and 1 i and j len f ; then πi f π j f : (2) Let A be a set and f be a finite sequence of elements of 2A. Suppose that for every natural number i such that 1 i and i< len f holds πi f πi+1 f : Let i, j be natu...

Finite Topological Spaces

Computability of semicomputable manifolds in computable topological spaces

We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold M is computable if its boundary ∂M is computable. We also show how this result combined with certain construction which compactifies a semicomputable set leads to th...